行业动态 | “链”上初心，安全护航！

10月24日下午，中共中央政治局就区块链技术发展现状和趋势进行第十八次集体学习。国家领导人在主持学习时强调：“区块链技术的集成应用在新的技术革新和产业变革中起着重要作用。我们要把区块链作为核心技术自主创新的重要突破口，明确主攻方向，加大投入力度，着力攻克一批关键核心技术，加快推动区块链技术和产业创新发展”。

10月25日晚，美股开盘后，盘中区块链概念股涨幅接近70%，以区块链为底层技术的各类加密货币也在昨日晚间纷纷暴涨，中概股迅雷高开20%。例如比特币在短短6个小时内暴涨近1000美元，在北京时间26日凌晨1:15时最高录得8701美元。

区块链技术与其他技术一样，同样有其自身的发展规律。其发展规律受多方面因素影响，必须经过不断的发展，性能达到成熟、稳定，逐渐与其他技术结合，经过与上层建筑反复的磨合之后，才能真正实现区块链技术的广泛应用。

而在区块链的技术发展层面，区块链为智能合约的实现创造了条件，打个比方，如果你购买了游乐园的门票，但因游乐园设备维护关闭园区无法成行，根据协议你可以获得退款或部分赔偿，但执行起来需要申请、审核等繁琐又冗长的程序，而区块链支持下的智能合约可以实现一旦实现合约条件便自动执行，这种效率提高可能彻底改变很多领域合约执行现状。再比如区块链可能会让分享经济真正迎来春天，在与物联网结合中，解决信任问题后，可有效降低整个社会的运行成本。

那么在区块链的技术发展过程中，威胁最大的又是什么呢？大家都知道，区块链领域需要解决的重中之重一直都是安全问题，然而这个问题不仅存在于区块链，而是需要整个网络安全领域人士来探讨和解决。最近更新的数据显示，仅在2019年上半年，就有价值将近40亿美元的加密货币被盗。至今为止，世界范围内网络安全的市场份额已达到1670亿美元，预计2024年将会高达3000亿美元。

所以安全性对于区块链系统至关重要。只要区块链系统有被攻击的一丝可能性，黑客们一定会借此攻击。区块链的安全是否可以被维护，对将来区块链的生态系统起到决定性的作用。

为了维护区块链系统的安全，形式化验证技术应运而生。为什么有了这个技术就可以从 trust 变到 truth呢？因为数学证明是毫无争议的数学真理，也就是证明的真谛：Proof，mathematical proof are uncontroversial mathematical truth. That’s what proof is。只要一个软件构建被证明是安全的，那么整个体系便可被证明是值得信任的。一旦代码经过验证，它就变成数字上纯粹的定理。一个系统里面隐藏了多少代码，而这些代码又是起到了什么样的作用？对于用户来说，使用这些系统像是一场赌博，但如果有了这个证明，black box一旦经过验证，用户就可以完全信任它。形式化验证这个领域其实已经经历了将近40多年的演变，CertiK团队根据此项技术研发，做到了世界上第一个黑客无法攻击的并发操作系统。

CertiK团队期望将形式化验证和计算机程序语言在以往三四十年内积累下来的技术应用在区块链领域的各个方面。另外还有很多其它技术，团队将这些技术都应用在了智能合约方面，例如基于层的分解技术（layer-based technology）、智能标签（Smart Labels）、可插拔的校验系统（Pluggable Proof Engine）、经验证的Dapp库（Certified Dapp Libraries、AutoScan ability）等。

了解更多

General Information: [e-mail]

Audit & Partnerships: [e-mail]

Website: certik.org

Twitter: @certik.org

Telegram: t.me/certik.org

Medium:medium.com/certik

币乎：bihu.com/people/1093109

往期回顾

• 安全聚焦 | CertiK已完成对Rupiah Token(IDRT)的审计

请点击“阅读原文”访问CertiK官网